export opaque potato: ID = number;
